The Revision of Logical Laws
نویسنده
چکیده
Silver Professor and Professor of Philosophy Can there be rational reasons for revising our most fundamental logical rules (for instance, the rule of inferring from A to A or B; or the rule of inferring from A or B and not A to B)? I think there can. Nonetheless, the supposition that there can be rational reasons for such revisions gives rise to a wide variety of puzzles, which have led some philosophers to think that rational revision of logic is impossible. I'll start by briefly mentioning two of them, without going into any detail. (The main body of the paper will be an argument that despite the puzzles, rational revision of logic is possible, and on this I will provide some details.) A first puzzle about rational revision of logic is this: any serious evaluation of anything requires logical reasoning; so in evaluating a proposed revision of logic, you need to use logic. But if you use a logic in the evaluation process, won't it automatically rule against all competing logics? One strategy for responding to this would be to argue that a principle of logic can rationally be revised by an evaluation that uses only other principles of logic. (If that's the best we could do, then if there are parts of logic that must be used in the evaluation of any principle of logic, those parts of logic must be immune from revision.) A better idea, I think, is to try to give an account of reasoning which would allow a logical principle to appear in an evaluation that undermined itself. But to say that is to say very little: an account of just how a logical principle can be used in an evaluation that undermines itself is needed. Still, there seems to at least be room for such an account: it would presumably work by appealing to methodological principles that go beyond the logic itself.
منابع مشابه
How Do I Revise My Agent’s Action Theory?
Logical theories in reasoning about actions may also evolve, and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. We here fill this gap by providing an algorithmic approach for action theory revision. We give a well defined semantics that ensures minimal change, and show correctness of our algorithms w.r.t. the semantic constructions.
متن کاملA Dynamic-Logical Perspective on Quantum Behavior
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operator...
متن کاملA Logical Treatment of Scientific Anomalies or Artificial Intelligence Meets Philosophy of Science
A logical formalization to the process of theory revision when it is confronted by a scientific anomaly is presented. By “scientific anomaly” we mean an observed fact falling into the explanatory scope of a theory that cannot be explained by the theory and the accepted auxiliary hypotheses. As a first approach to restore the theory’s explicative power, some tentative auxiliary hypotheses are pr...
متن کاملMinimal Revision of Logical Specification Using Extended Logic Programming: Preliminary Report
This paper presents a method of computing minimal revision of logical specification to handle inconsistencies. We have already proposed a formalization of minimal revision of logical specification (Satoh 1998) which is a modification of minimal revision in (Satoh 1988) and related the formalism with Formula Circumscription (McCarthy 1986). Moreover, we have proposed a computational method for a...
متن کاملتمایزجایگاه علم و معرفت در عرفان ابو عبدالله نفَّری
Some gnostics have used knowledge and insight synonymous. Still there are many who give gnosis the upper hand. This is because, in this position, they intend knowledge as rudimentary science, acquired and logical while gnosis is based on exploring and evidence. From Mohammad ibn ‘Abd Allah Neffari’s-4th century (A.H.) gnostic—mystical stand, everything but Allah is considered as creature ther...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004